spinner (operator) - German English Dictionary